SPECTRA – a Maple library for solving linear matrix inequalities in exact arithmetic
نویسندگان
چکیده
منابع مشابه
SPECTRA -a Maple library for solving linear matrix inequalities in exact arithmetic
This document briefly describes our freely distributed Maple library spectra, for Semidefinite Programming solved Exactly with Computational Tools of Real Algebra. It solves linear matrix inequalities in exact arithmetic and it is targeted to small-size, possibly degenerate problems for which symbolic infeasibility or feasibility certificates are required.
متن کاملExact algorithms for linear matrix inequalities
Let A(x) = A0 + x1A1 + · · · + xnAn be a linear matrix, or pencil, generated by given symmetric matrices A0, A1, . . . , An of size m with rational entries. The set of real vectors x such that the pencil is positive semidefinite is a convex semialgebraic set called spectrahedron, described by a linear matrix inequality (LMI). We design an exact algorithm that, up to genericity assumptions on th...
متن کاملA Finite Step Projective Algorithm for Solving Linear Matrix Inequalities
This paper presents an algorithm for finding feasible solutions of linear matrix inequalities. The algorithm is based on the method of alternating projections (MAP), a classical method for solving convex feasibility problems. Unlike MAP, which is an iterative method that converges asymptotically to a feasible point, the algorithm converges after a finite number of steps. The key computational c...
متن کاملA matrix LSQR algorithm for solving constrained linear operator equations
In this work, an iterative method based on a matrix form of LSQR algorithm is constructed for solving the linear operator equation $mathcal{A}(X)=B$ and the minimum Frobenius norm residual problem $||mathcal{A}(X)-B||_F$ where $Xin mathcal{S}:={Xin textsf{R}^{ntimes n}~|~X=mathcal{G}(X)}$, $mathcal{F}$ is the linear operator from $textsf{R}^{ntimes n}$ onto $textsf{R}^{rtimes s}$, $ma...
متن کاملExtending Maple Capabilities for Solving and Displaying Inequalities
Solving inequalities is a very important topic in computational algebra. This paper presents a new Maple package, IneqGraphics, for displaying the two-dimensional solution sets of several inequalities of real variables. The package also deals with inequalities involving complex variables by displaying the corresponding solutions on the complex plane. The package provides graphical solutions to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Optimization Methods and Software
سال: 2017
ISSN: 1055-6788,1029-4937
DOI: 10.1080/10556788.2017.1341505